38.64/39.04	unsat
