16.50/16.64	unsat
