17.64/19.16	unsat
