38.50/40.95	unsat
