41.14/41.24	unsat
