26.55/29.08	unsat
