41.82/44.56	unsat
