31.10/46.74	unsat
