16.96/19.16	unsat
