38.09/39.55	unsat
