16.93/19.81	unsat
