16.54/16.64	unsat
