34.20/57.17	unsat
