21.94/23.04	unsat
