39.31/39.44	unsat
