18.75/19.74	unsat
