13.97/16.64	unsat
