16.56/16.64	unsat
