21.44/23.88	unsat
