22.07/25.81	unsat
