25.85/26.08	unsat
