18.75/18.88	unsat
