38.45/43.02	unsat
