34.43/35.28	unsat
