38.87/41.55	unsat
