38.90/41.90	unsat
