21.17/23.04	unsat
