38.70/39.43	unsat
