25.34/25.44	unsat
