6.55/6.65	unsat
