16.36/17.16	unsat
