16.96/17.34	unsat
