6.53/6.79	unsat
