38.29/41.63	unsat
