41.82/44.43	unsat
