40.96/44.07	unsat
