39.17/39.20	unsat
