7.19/9.76	unsat
