31.79/32.94	unsat
