21.66/21.73	unsat
