41.82/44.70	unsat
