38.39/38.59	unsat
