21.58/23.29	unsat
