31.15/32.68	unsat
