21.60/21.84	unsat
