39.02/39.90	unsat
