6.48/6.58	unsat
