17.64/19.97	unsat
