5.87/6.65	unsat
