41.70/44.93	unsat
