25.55/26.86	unsat
