17.66/19.16	unsat
