31.43/34.12	unsat
