6.46/6.61	unsat
