38.09/39.96	unsat
