6.48/6.65	unsat
