40.66/44.82	unsat
