23.25/25.89	unsat
