21.64/21.93	unsat
