17.64/19.89	unsat
