35.93/39.00	unsat
