5.47/6.65	unsat
