16.96/19.69	unsat
