39.53/39.88	unsat
