3.97/6.65	unsat
