39.11/39.28	unsat
