6.48/6.55	unsat
