25.84/26.08	unsat
