23.25/25.73	unsat
