18.25/22.23	unsat
