16.88/16.97	unsat
