16.88/16.94	unsat
