22.25/25.66	unsat
