7.17/11.61	unsat
