21.44/23.78	unsat
