38.84/39.50	unsat
