23.44/25.23	unsat
