23.05/25.16	unsat
