38.84/39.02	unsat
