41.18/41.23	unsat
