17.76/19.24	unsat
