6.47/6.55	unsat
