41.40/44.00	unsat
