25.29/25.34	unsat
