25.34/25.46	unsat
