31.86/32.12	unsat
