18.75/19.16	unsat
