21.14/21.24	unsat
