16.56/16.69	unsat
