18.22/18.88	unsat
