18.16/22.82	unsat
