16.96/19.26	unsat
