41.62/44.48	unsat
