25.24/25.36	unsat
