16.93/19.77	unsat
