31.93/38.11	unsat
