6.31/6.55	unsat
