22.24/28.64	unsat
