6.55/6.94	unsat
