41.04/44.48	unsat
