16.47/17.48	unsat
