5.58/6.55	unsat
