26.55/26.65	unsat
