4.17/6.65	unsat
